//===-- CoreStats.cpp -----------------------------------------------------===//
//
//                     The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//

#include "CoreStats.h"

using namespace klee;

Statistic *stats::allocations = new Statistic("Allocations", "Alloc");
Statistic *stats::coveredInstructions = new Statistic("CoveredInstructions", "Icov");
Statistic *stats::falseBranches = new Statistic("FalseBranches", "Bf");
Statistic *stats::forkTime = new Statistic("ForkTime", "Ftime");
Statistic *stats::forks = new Statistic("Forks", "Forks");
Statistic *stats::instructionRealTime = new Statistic("InstructionRealTimes", "Ireal");
Statistic *stats::instructionTime = new Statistic("InstructionTimes", "Itime");
Statistic *stats::instructions = new Statistic("Instructions", "I");
Statistic *stats::minDistToReturn = new Statistic("MinDistToReturn", "Rdist");
Statistic *stats::minDistToUncovered = new Statistic("MinDistToUncovered", "UCdist");
Statistic *stats::reachableUncovered = new Statistic("ReachableUncovered", "IuncovReach");
Statistic *stats::resolveTime = new Statistic("ResolveTime", "Rtime");
Statistic *stats::solverTime = new Statistic("SolverTime", "Stime");
Statistic *stats::states = new Statistic("States", "States");
Statistic *stats::trueBranches = new Statistic("TrueBranches", "Bt");
Statistic *stats::uncoveredInstructions = new Statistic("UncoveredInstructions", "Iuncov");
